#include "cnfparser.hpp"
#include "sudoku.hpp"
#include "solver.hpp"
#include "display.hpp"

int main()
{
    while (display())
        ;
    return 0;
}